Sequentiality and the π-calculusBERGER, Martin; HONDA, Kohei; YOSHIDA, Nobuko et al.Lecture notes in computer science. 2001, pp 29-45, issn 0302-9743, isbn 3-540-41960-8Conference Paper

D-fusion: A distinctive Fusion calculusBOREALE, Michele; BUSCEMI, Maria Grazia; MONTANARI, Ugo et al.Lecture notes in computer science. 2004, pp 296-310, issn 0302-9743, isbn 3-540-23724-0, 15 p.Conference Paper

An exercise in structural congruenceENGELFRIET, Joost; GELSEMA, Tjalling.Information processing letters. 2007, Vol 101, Num 1, pp 1-5, issn 0020-0190, 5 p.Article

A spatial logic for concurrency (Part I)CAIRES, Luis; CARDELLI, Luca.Lecture notes in computer science. 2001, pp 1-37, issn 0302-9743, isbn 3-540-42736-8Conference Paper

On the bisimulation congruence in X-calculusTAOLUO CHEN; TINGTING HAN; JIAN LU et al.Lecture notes in computer science. 2005, pp 128-139, issn 0302-9743, isbn 3-540-30495-9, 1Vol, 12 p.Conference Paper

Linear forwardersGARDNERL, Philippa; LANEVE, Cosimo; WISCHIK, Lucian et al.Lecture notes in computer science. 2003, pp 415-430, issn 0302-9743, isbn 3-540-40753-7, 16 p.Conference Paper

On barbed equivalences in π-calculusSANGIORGI, Davide; WALKER, David.Lecture notes in computer science. 2001, pp 292-304, issn 0302-9743, isbn 3-540-42497-0Conference Paper

On synchronous and asynchronous communication paradigmsCACCIAGRANO, Diletta; CORRADINI, Flavio.Lecture notes in computer science. 2001, pp 256-268, issn 0302-9743, isbn 3-540-42672-8Conference Paper

Explicit substitutions for pi-congruencesQUAGLIA, Paola.Theoretical computer science. 2001, Vol 269, Num 1-2, pp 83-134, issn 0304-3975Article

Solo diagramsLANEVE, Cosimo; PARROW, Joachim; VICTOR, Björn et al.Lecture notes in computer science. 2001, pp 127-144, issn 0302-9743, isbn 3-540-42736-8Conference Paper

Establishing mutual-belief among cooperative agentsWENPIN JIAO.International journal of pattern recognition and artificial intelligence. 2002, Vol 16, Num 8, pp 973-993, issn 0218-0014, 21 p.Article

Nepi² : A two-level calculus for network programming based on the π-calculusHORITA, E; MANO, K.Lecture notes in computer science. 1997, pp 377-378, issn 0302-9743, isbn 3-540-63875-XConference Paper

Logical properties of name restrictionCARDELLI, Luca; GORDON, Andrew D.Lecture notes in computer science. 2001, pp 46-60, issn 0302-9743, isbn 3-540-41960-8Conference Paper

Primitives for authentication in process algebrasBODEI, Chiara; DEGANO, Pierpaolo; FOCARDI, Riccardo et al.Theoretical computer science. 2002, Vol 283, Num 2, pp 271-304, issn 0304-3975Article

Bigraphs as a model for mobile interactionMILNER, Robin.Lecture notes in computer science. 2002, pp 8-13, issn 0302-9743, isbn 3-540-44310-X, 6 p.Conference Paper

Semantic subtyping : Challenges, perspectives, and open problemsCASTAGNA, Giuseppe.Lecture notes in computer science. 2005, pp 1-20, issn 0302-9743, isbn 3-540-29106-7, 1Vol, 20 p.Conference Paper

Typing aberrance in signal transductionZHANG, M; LI, G. Q; FU, Y. X et al.Lecture notes in computer science. 2005, issn 0302-9743, isbn 3-540-28323-4, 3Vol, Part 3, 668-677Conference Paper

A uniform reduction equivalence for process calculiZINING CAO.Lecture notes in computer science. 2004, pp 179-195, issn 0302-9743, isbn 3-540-23724-0, 17 p.Conference Paper

Representation of the signal transduction with aberrance using Ipi calculusMIN ZHANG; GUOQIANG LI; YUXI FU et al.Lecture notes in computer science. 2004, pp 477-485, issn 0302-9743, isbn 3-540-24127-2, 9 p.Conference Paper

Useless-code elimination and program slicing for the Pi-calculusKOBAYASHI, Naoki.Lecture notes in computer science. 2003, pp 55-72, issn 0302-9743, isbn 3-540-20536-5, 18 p.Conference Paper

More on bisimulations for higher order π-calculusZINING CAO.Lecture notes in computer science. 2006, pp 63-78, issn 0302-9743, isbn 3-540-33045-3, 1Vol, 16 p.Conference Paper

On the representation of McCarthy's amb in the π-calculusCARAYOL, Arnaud; HIRSCHKOFF, Daniel; SANGIORGI, Davide et al.Theoretical computer science. 2005, Vol 330, Num 3, pp 439-473, issn 0304-3975, 35 p.Conference Paper

Strong bisimulation for the explicit fusion calculusWISCHIK, Lucian; GARDNER, Philippa.Lecture notes in computer science. 2004, pp 484-498, issn 0302-9743, isbn 3-540-21298-1, 15 p.Conference Paper

The early and late congruences for asymmetric λ^¬=-calculusFARONG ZHONG.Lecture notes in computer science. 2004, pp 371-378, issn 0302-9743, isbn 3-540-24127-2, 8 p.Conference Paper

Constraints on hypercomputationMICHAELSOR, Greg; COCKSHOTT, Paul.Lecture notes in computer science. 2006, pp 378-387, issn 0302-9743, isbn 3-540-35466-2, 1Vol, 10 p.Conference Paper